package sketch.apache.collection;

import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;


/***
 * 
 * Head comment
 * */
public class ReWriteRepetitiveUnitTests extends TestCase {
	
	@TestSketch
	public void rewriteTryCatch() {
			Integer i  = Values.choose(0, -20);
			CircularFifoBuffer cfb;
			{/*@ChooseOne*/
			    cfb = new CircularFifoBuffer(i);
			    cfb = new CircularFifoBuffer(null);
			}
			{/*@TryCatch*/
			    cfb.next();
			}
	}
}
